Prove that Cot inverse (√1 Sinx √1-Sinx)